Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
671	CANTOR AND THE BURALI-FORTI PARADOX Introduction In studying the early history of mathematical logic and set theory one typically reads that Georg Cantor discovered the so-called Burali-Forti (BF) paradox sometime in 18 Add to Reading List Source URL: philebus.tamu.edu Language: English - Date: 2010-04-18 16:08:58
672	IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-03-10 05:42:39 Automated theorem proving Theoretical computer science Mathematical logic Mathematics IsaPlanner Automated reasoning Isabelle Rippling Mathematical proof Interactive Theorem Proving Theorem Mathematical induction
673	Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan Add to Reading List Source URL: stijnheymans.net Language: English - Date: 2015-12-05 16:07:35 Predicate logic Mathematical logic Propositional calculus Automated theorem proving Query languages Datalog Prolog Logic programming Ground expression Horn clause Substitution First-order logic
674	First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology Add to Reading List Source URL: www.cyc.com Language: English - Date: 2015-06-15 14:07:47 Logic Abstraction Mathematical logic Reasoning Ontology Automated theorem proving Predicate logic Knowledge representation Cyc Knowledge representation and reasoning Upper ontology Semantic reasoner
675	Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford Add to Reading List Source URL: developer.logicblox.com Language: English - Date: 2013-10-18 17:50:36 Logic Abstraction Mathematics Model theory Mathematical logic Craig interpolation First-order logic Conjunctive query Beth definability Substitution Interpretation Structure
676	Commun. Math. PhysDigital Object Identifier (DOIs00220x Communications in Mathematical Add to Reading List Source URL: math.rutgers.edu Language: English - Date: 2006-07-03 13:32:23 Mathematical analysis Operator theory Physics Theoretical physics Quantum mechanics Operator Distribution Probability current Constructible universe De BroglieBohm theory Linear temporal logic Spectral theory of ordinary differential equations
677	Capacity-restraint railway transport assignment at SBB-Passenger Johannes Lieberherr, SBB-Passenger Elisabeth Pritscher, SBB-Passenger Conference paper STRC 2012 Add to Reading List Source URL: www.strc.ch Language: English - Date: 2012-05-16 12:22:32 Algorithm Mathematical logic Theoretical computer science Passenger load factor Economic equilibrium Academia Route assignment
678	/tmp/scitmpfigure3.eps Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2014-12-08 14:33:01 Algorithm Mathematical logic Theoretical computer science Modal logic
679	Curry’s Last Problem: Imitating λ-β-reduction in Combinatory Logic J. Roger Hindley, Mathematics Department, Swansea University, Swansea SA2 8PP, U.K. Email: From talks at Mathematical Logic Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2010-01-12 06:53:33
680	A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2007-05-04 17:04:35 Theoretical computer science Mathematical logic Logic Automated theorem proving Logic programming Logic in computer science Type theory Lambda calculus Substitution Symbol Directed acyclic graph Unification